首页> 外文OA文献 >MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems

【2h】

MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems

机译：MBase：表示知识和上下文，用于数学软件系统的集成

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Michael Kohlhase; Andreas Franke;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems [J] . Michael Kohlhase, Andreas Franke urnal of Symbolic Computation . 2001,第4期

机译：MBase：表示知识和上下文，用于数学软件系统的集成
2. Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems [J] . Meenakshi Sridhar, Naseeb Singh Gill Journal of Software Engineering and Applications . 2015,第9期

机译：鲁棒软件系统设计中的领域知识不完善及其形式化
3. Integrating Context to Preferences and Goals for Goal-oriented Adaptability of Software Systems [J] . KHAVEE AGUSTUS BOTANGEN, JIAN YU, WAI KIANG YEAP, The Computer journal . 2021,第5期

机译：将上下文集成到偏好和目标的软件系统的面向目标的适应性
4. System description: MBASE, an open mathematical knowledge base [C] . Andreas Franke, Michael Kohlhase International Conference on Automated Deduction . 2000

机译：系统描述：MBase，一个开放的数学知识库
5. Knowledge spaces: A context-driven concept system framework for data integration [D] . Sabados, William T. 2015

机译：知识空间：用于数据集成的上下文驱动的概念系统框架
6. Integrating pedagogical content knowledge and pedagogical/psychological knowledge in mathematics [O] . Nora Harr, Andreas Eichler, Alexander Renkl 2014

机译：在数学中整合教学内容知识和教学/心理知识
7. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems [O] . Kohlhase Michael, Franke Andreas 2001

机译：MBase：表示知识和上下文，用于数学软件系统的集成

MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems

著录项

引文网络

相似文献

相关主题

期刊订阅